]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8834088) | patch
popupMenu: Remove excess padding from separators
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 14 Feb 2020 12:36:04 +0000 (13:36 +0100)
committerFlorian Müllner <florian.muellner@gmail.com>
Sat, 15 Feb 2020 00:16:45 +0000 (00:16 +0000)
commit9c7098816ed223d03c015b07c1c57742835e5531
tree0d0325006878161e201e21b72aa6ca6d8ffee254tree | snapshot
parent8834088f3b43c935cb725adf9674da8ebb31ddbfcommit | diff
popupMenu: Remove excess padding from separators

Currently separators get all the padding from regular menu items,
which is excessive for non-interactive elements.

Shuffle style classes around a bit to allow overriding the normal
padding for separators.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1004
data/theme/gnome-shell-sass/widgets/_popovers.scss diff | blob | history
js/ui/popupMenu.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.